perm filename NSF.BOI[DOC,TOB] blob
sn#067529 filedate 1973-10-16 generic text, type T, neo UTF8
00100 Curriculum Vitae
00200
00300 JEROME A. FELDMAN
00400
00500 1972
00600
00700
00800 Biographical Information:
00900
01000 Born: December 5, 1938 in Pittsburgh, Pennsylvania, U.S.A.
01100 Nationality: United States
01200 Marital Status: Married, two children
01300
01400
01500 EDUCATION:
01600
01700 B.A. (Physics, with Distinction) Rochester 1960
01800 M.A. (Mathematics) Pittsburgh 1961
01900 Ph.D. (Mathematics, Computer Science) Carnegie-Mellon 1964
02000
02100
02200 HONORS AND SOCIETIES:
02300
02400 Association for Computing Machinery
02500 American Association for the Advancement of Science
02600 National Lecturer, Association for Computing Machinery 1966
02700 Best Session Award, IEEE, August 1970
02800 Fulbright Lecturer, Hebrew University, Jerusalem 1970-71
02900
03000
03100 PROFESSIONAL EXPERIENCE:
03200
03300 Engineer, Westinghouse Electric Corporation 1960-61
03400 Asst. Research Scientist, Carnegie-Mellon U. 1963-64
03500 Staff Member, MIT Lincoln Laboratory 1964-66
03600 Summer Lecturer, U. Pennsylvania 1966
03700 Summer Lecturer, U. Michigan 1967
03800 Asst. Prof., Computer Science, Stanford U. 1966-69
03900 Assoc. Prof., Computer Science, Stanford U. 1969-Present
04000 Visiting Prof. of Computer Science, Hebrew U. 1970-71
04100 Assoc. Dir., Artificial Intelligence Lab., Stanford U. 1972-Present
04200
04300
04400
04500 EDITORIAL, ORGANIZATIONAL, AND CONSULTATION:
04600
04700 Reviewer for Computing Reviews, Journal and
04800 Communications of the ACM, Information and
04900 Control, IEEE Computer Group, various Conferences
05000 and government agencies.
05100
05200 Consultant for IBM, Systems Development Corp.,
05300 Martin-Marietta Corp., Lockheed Missiles and Space
05400 Corp., General Motors, National Institute of Health
05500
05600 Editorial Board, Fundamental Studies in Computer
05700 Science, North-Holland Publishing Company
05800
05900 Lecturer, ACM Professional Development Seminar in
06000 Time-Sharing, 1967
06100
06200 Organizing Committee, Israel Alta Conference,
06300 Ashkelon, February 1971
06400 NATO Conference on Software, Rome,Italy,1969
06500 ACM Conf. on Very High Level Languages, 1974
00100 PUBLICATIONS
00200
00300 Jerome A. Feldman
00400
00500
00600 "Some Regularity Theorems on Kernel Methods of Summation for
00700 Functions of a Complex Variable," Masters' Thesis, U. of Pittsburgh,
00800 1961.
00900
01000 "A Formal Semantics for Computer Oriented Languages", Ph.D.
01100 Dissertation, May 1964, Carnegie-Mellon University.
01200
01300 "Aspects of Associative Processing", TN-1965-13, Lincoln Laboratory,
01400 Massachusetts Institute of Technology, Lexington, Massachusetts.
01500
01600 "A Formal Semantics for Programming Languages", Proceedings of the
01700 International Federation of Information Processing Societies, May
01800 1965.
01900
02000
02100 "A Formal Semantics for Computer Languages and its Applications in a
02200 Compiler-Compiler", Communications of the Association for Computing
02300 Machinery, Vol. 9, No. 1, January 1966, and reprinted in "COMPUTER
02400 COMPILER TECHNIQUES", Auerbach Publishers, 1971.
02500
02600 "An Associative Processing System for Conventional Digital
02700 Computers", (with P.D. Rovner), TN-1967-19, Lincoln Laboratory, MIT,
02800 Lexington, Mass.
02900
03000
03100 "The Compiler-Compiler in a Time-Sharing Environment", (with J.
03200 Curry), Summer Lectures on Advanced Computer Organization, University
03300 of Michigan, June 1967. Also Bit Dropper, September 1967.
03400
03500 "Translator Writing Systems", (with D. Gries), CS 69, Computer
03600 Science Department, Stanford University, June 1967.
03700
03800 "First Thoughts on Grammatical Inference", A.I. Memo 55, Stanford
03900 University, August 1967.
04000
04100 "Translator Writing Systems", (with D. Gries), Communications of the
04200 Association for Computing Machinery, Vol. 11, No. 3, March 1968, and
04300 reprinted in "Computer Compiler Techniques", Auerbach Publishers,
04400 1971.
04500
04600 "The Leap Language and Data Structure", (with P.D. Rovner), Lincoln
04700 Laboratory Memorandum, January 1968. Also in reduced form in
04800 Proceedings of the International Federation of Information Processing
04900 Societies, August 1968.
05000
05100 "Grammatical Inference and Grammatical Complexity", (with others), CS
05200 125, Stanford University, Computer Science Department, Stanford,
05300 California, May 1969.
05400
05500 "An Algol-based Associative Language", (with P.D. Rovner), A.I. Memo
05600 66, Stanford University, 1968. Also Communications of the ACM, Vol.
05700 12, No. 8 August 1969, pp. 439-449. Reprinted in, INTRODUCTION TO
05800 INFORMATION SCIENCE (T. Saracevic, Ed.) Bowker, 1971.
05900
06000 "The Stanford Hand-Eye Project", (with others), Proc. First
06100 International Congress on Artificial Intelligence, Washington, D.C.,
06200 May 1969.
06300
06400 "The Computer Description of Simply Described Scenes", (with R.P.
06500 Paul and G. Falk), A.I. Memo 101, Stanford University. Also in,
06600 PERTINENT CONCEPTS IN COMPUTER GRAPHICS, (J. Nievergelt and M.
06700 Faiman, Eds.), U.of Illinois Press, 1969.
06800
06900 "Machine Intelligence", Review of Numbers I.III of the Machine
07000 Intelligence Series, Information and Control, 14, 490-492, 1969.
07100
07200
07300 "Towards Automatic Programming", Preprints of the NATO Software
07400 Engineering Conference, Rome, Italy, 1969.
07500
07600 "Getting a Computer to See Simple Scenes", IEEE Student Journal,
07700 September 1970.
07800
07900 "A Survey of Grammatical Inference", (with A. Biermann), Proceedings
08000 of International Congress on Pattern Recogniton, Honolulu, January
08100 1971. also in S. Watanbe (Ed.) FRONTIERS OF PATTERN RECOGNITION,
08200 Academic Press, 1972.
08300
08400 "Hebrew University Production Language", (with S. Tsur and D. Lehman)
08500 Hebrew University, Computer Science Department, February 1971.
08600
08700 "A Way of Looking at Things", Hebrew University, Computer Science
08800 Department, February 1971.
08900
09000 "A Laboratory for Hand-Eye Research", (with others), Proceedings
09100 IFIPS International Conference, Lubljana, Yugoslavia, August 1971.
09200
09300 "System Support for the Stanford Hand-Eye Project", (with R. Sproull)
09400 Proceedings Second International Congress on Artificial Intelligence,
09500 London, September 1971, p. 183-189.
09600
09700 "The Use of Vision and Manipulation to Solve the Instant Insanity
09800 Puzzle", (with others), Proceedings Second International Conference
09900 on Artificial Intelligence, London, September 1971, p. 359-364.
10000
10100 "Some Decidability Results on Grammatical Inference and Complexity",
10200 Information and Control, Vol. 20, No. 3, April 1972, p. 244-262.
10300
10400 "On The Synthesis of Finite-State Machines from Samples of their
10500 Behavior", (with A. Biermann), IEEE Transactions on Computers, June
10600 1972, Vol. C-21, No. 6, p. 592-596.
10700
10800 "Automatic Programming", CS 255, Stanford University, Computer
10900 Science Department, Stanford, California, February 1972.
11000
11100 "Total Complexity and the Inference of Best Programs", (with P.
11200 Shields), CS 253, Stanford University, April 1972. Submitted to
11300 Mathematical Systems Theory.
11400
11500 "Recent Developments in SAIL-An Algol Based Language for Artificial
11600 Intelligence", (with others). CS 308, Stanford University, August 1972.
11700 Proc. Fall Joint Computer Conference,Anaheim, Cal.,1972,p.1193-1202.
11800
11900 "Associative Languages" to appear in The Encyclopedia
12000 of Computer Science and Technology, A. Ralston, Ed.
12100
12200 "A Semantics-Based Decision Theoretic Region Analyzer" (with Y.Yakimovsky)
12300 Submitted to Third IJCAI, February,1973
12400
00100 MAJOR PROGRAMMING SYSTEMS DEVELOPED
00200
00300
00400
00500 TRANSLATOR WRITING SYSTEMS
00600
00700 FSL: Additional reference
00800
00900 Itturriaga, R. et.al., "Techniques and Advantages of Using the
01000 formal compiler writing system FSL to implement a Formula Algol
01100 Compiler", Proc. AFIPS Conference 1966, pp. 241-252.
01200
01300 VITAL: Additional Reference
01400
01500 Mondschein, L.F. "VITAL compiler-compiler System Reference Manual",
01600 TN-1967-12. M.I.T., Lincoln Lab., February 1967.
01700
01800
01900 ASSOCIATIVE LANGUAGE SYSTEMS
02000
02100 LEAP: Additional reference
02200
02300 Rovner, P., "The LEAP Users Manual", Mem. 23L-0009, M.I.T., Lincoln
02400 Lab., December 1968.
02500
02600 Swinehart, D. and R. Sproull, "SAIL Users Manual", Operating Note
02700 57.1; Stanford A.I. Project, April 1970.
02800
02900
03000 COOPERATING SEQUENTIAL PROCESSES
03100
03200 HAND-EYE SYSTEM: Additional reference
03300
03400 Pingle, K., "System Manual for Hand-Eye Hackers", Internal
03500 Memorandum, Stanford A.I. Project, June 1971.
00100 DOCTORAL STUDENTS
00200
00300
00400 NAME DEPT. TITLE/TOPIC FINAL ORAL CURRENTLY
00500
00600 F.J. Hilbing Industrial Strategies for 1968 U.S.A.F.
00700 Engineering Paging a Large Academy
00800 Associative Data Base
00900
01000 J.J. Horning Computer A Study of Grammati- 1969 U. of
01100 Science cal Inference Toronto
01200
01300 L.F. Morris Computer Semantic Models and 1969 Syracuse U.
01400 Science Compiler Correctness
01500
01600 G. Falk Computer Computer Interpreta- 1970 Rutgers U.
01700 Science tion of Imperfect
01800 Line Data as a Three-
01900 Dimensional Scene
02000
02100 I. Sobel Electrical Camera Models and 1970 Haifa
02200 Engineering Machine Perception Technion
02300
02400 J.Tenenbaum Electrical Accommodation in 1970 Stanford
02500 Engineering Computer Vision Research
02600 Institute
02700
02800 J.D.Becker Computer An Information 1970 Bolt,
02900 Science Processing Model of Beranek, &
03000 Intermediate Level Newman
03100 Cognition
03200
03300 R. Paul Computer Studies with a 1972 Stanford U.,
03400 Science Computer Controlled A.I. Lab.
03500 Arm
03600
03700 D.Swinehart Computer A One-Level Language 1972 Stanford U.,
03800 Science System A.I. Lab.
03900
04000 A. Gill Electrical Visual Feedback Con- 1972 Israel
04100 Engineering trol of a Mechanical Defense
04200 Arm Establshmnt.
04300
04400 D. Levine Computer Automated Error 1972 Stanford U.
04500 Science Correction of IMSSS
04600 German Sentences
04700
04800 G. Grape Computer Computer Vision 1973
04900 Science Through Sequential
05000 Abstraction
05100
05200 J. Gips Computer Structure of 1973
05300 Science Pictures Applied to
05400 Art and Vision
05500
05600 S.Ganapathy Computer Analysis of Simple 1973
05700 Science Scenes Using Multiple
05800 Views
05900
06000 J. Low Computer Optimization of 1973
06100 Science Data Structures for
06200 Associations
06300
06400 Y.Yakimovsky Computer Knowledge-based, 1973
06500 Science Decision Theoretic
06600 Region Analysis of
06700 Pictures
06800
00100 UNIVERSITY SERVICE
00200
00300
00400
00500 Freshman Seminar, "The Information Revolution" 1967-68
00600
00700 Faculty Senate 1969-70
00800
00900 Presidents Low-Cost Housing Committee 1968-69
01000
01100 Steering Committee, Junior Faculty Forum 1968-69
01200
01300 SWOPSI Seminar, "Computers and Society" 1969-70
01400
01500 Freshman Adviser 1971-72
01600
01700 Committee on Linguistics 1971-72
01800
01900 Lecturer, NSF Summer Program 1971
02000
02100 Faculty Adviser, Student Chapter,
02200 Association for Computing Machines 1966-68
02300
02400 Lecturer, Campus Alumni Conference - May 1970
02500
02600 Departmental Undergraduate Adviser 1972-73
02700
00100 Name: RICHARD P.C. PAUL
00200 Born: June 16, 1936 in Sydney Australia.
00300 Nationality: United States
00400 Marital Status: Married, two children.
00500
00600 EDUCATION:
00700 B.Eng. (Engineering Physics, with Honour) McGill 1963
00800 M.Sc. (Electrical Engineering) Stanford 1968
00900 Ph.D. (Computer Science) Stanford l972
01000
01100 PROFESSIONAL EXPERIENCE:
01200 Electronic Engineer, Stanford Linear Accelerator Center 1963-67
01300 Computer Systems Engineer, Stanford A.I. Laboratory 1967-68
01400 Research Programmer, Stanford A.I. Laboratory 1969-72
01500 Research Associate, Stanford A.I. Laboratory 1972-present
01600
01700 PUBLICATIONS:
01800
01900 "A Multi-pulse Generator for Testing a Radar Beacon", Canadian
02000 Engineering Journal, 1962.
02100
02200 With G. Falk and J. Feldman, "The Computer Representation of Simply
02300 Described Scenes" Memo AIM-101, Computer Science Dept., Stanford
02400 University, Stanford, California.
02500
02600 With Feldman et al, "The Use of Vision and Manipulation to Solve the
02700 Instant Insanity Puzzle", Proc. Second International Joint Conference
02800 on Artificial Intelligence.
02900
03000 "Trajectory Control of a Computer Arm", Proc. Second International
03100 Joint Conference on Artificial Intelligence, 1971.
03200
03300 "Modelling Trajectory Calculation and Servoing of a Computer
03400 Controlled Arm", PhD. Thesis, Computer Science Dept., Stanford
03500 University.
00100 Name: THOMAS O. BINFORD
00200 Born: April 13,1936, Jefferson Twp, Pennsylvania
00300 Nationality: USA
00400 Marital Status:divorced
00500
00600 EDUCATION:
00700 BS physics Pennsylvania State University 1957
00800 PhD physics University of Wisconsin 1965
00900
01000 CURRENT RESEARCH:
01100 Artificial Intelligence Laboratory, Stanford University
01200 laser depth ranging system
01300 representation of shape
01400 recognition of complex objects
01500 efficient method for proximity in n-dimensions
01600 color region analysis
01700 analysis of texture
01800 sensor study
01900
02000
02100 Artificial Intelligence Laboratory, MIT 1967-1970
02200 Topological region analysis
02300 line finder using sequential decision
02400 software for a visual experimentation
02500 recognition of parallelipipeds from incomplete line drawings
02600 two-dimensional shape recognition
02700 line verification
02800 line prediction
02900
03000 POST-DOCTORAL RESEARCH:
03100 Fulbright grant, Tata Institute of Fundamental Research,Bombay India
03200 partial wave analysis of hyperon production by pions;
03300 Regge-pole analysis of Sigma plus production by pions;
03400 theory of unstable particles and symmetry principles
03500
03600 PhD
03700 Strange particle production by pions near 1 Bev/c.
03800 Two new experimental equalities among cross sections;
03900 test of charge independence in hyperon production;
04000 showed adequacy of Regge-pole theory to explain high-energy cross sections;
04100
04200
04300 PUBLICATIONS:
04400
04500 "Structured Descriptions of Complex Objects",R.K.Nevatia and T.O.Binford
04600 Third Int Conf on AI, February, 1973.
04700 Stanford, Calif, 1973.
04800
04900 "Computer Vision", T.O.Binford and J.M.Tenenbaum, Computer, IEEE,
05000 April 1973.
05100
05200 "Sensor Systems for Manipulation", Conference on Remotely Manned
05300 Systems, JPL, Pasadena, Calif, Sept 1972.
05400
05500 "Visual Perception by Computer", Invited paper at IEEE Systems
05600 Science and Cybernetics, Miami, Dec 1971.
05700
05800 With G. Agin, "Representation and Description of Complex Objects", To
05900 be published.
06000
06100 With Feldman, et al, "The Use of Vision and Manipulation to Solve the
06200 Instant Insanity Puzzle", Proc. Second International Joint Conference
06300 on Artificial Intelligence.
06400
06500 With Tenenbaum, et al, "A laboratory for Hand-Eye Research",
06600 IFIP proceedings, August 1971.
06700
06800 "The Vision Laboratory-Part One", MIT AI memo 203.
06900
07000 "The TOPOLOGIST: A Region-Oriented System", (in draft form)
07100
07200 With A. Herskovits, "On Boundary Detection", MIT AI memo 183.
07300
07400 "Display Functions in LISP", MIT AI memo 182.
07500
07600 With Desai, "High Energy Elastic Scattering at Low Momentum Transfers", Physical
07700 Review 138,B1167.
07800
07900 With others, "Experimental Check of Some SU(6) Cross Section Equalities", Physical
08000 Review Letters 14,715.
08100
08200 With others, "Hyperon Production in Pion Interactions", Physical Review (1968).
08300
08400 "Triangle Inequality in Associated Production", Physical Review
08500 (1968).
08600 + - o
08700 With Anderson, et al, "CP-Nonconserving Decay K ← π π π ", Physical
08800 1
08900 Review Letters 14,475.
09000 o + - o
09100 With Stern, et al, "Absolute Decay Rate for K → π π π and the
09200 2
09300 2
09400 |DI|=1/2 Rule", Physical Review Letters 12,459.
09500
09600 With Lind, et al, "Experimental Investigation of V-A in Leptonic
09700 Lambda Decay", Phys Rev 135,B1483.
09800
09900
10000 DOCTORAL STUDENTS:
10100
10200 G.J.Agin Description and Representation 1972
10300 of Complex Objects
10400
10500 R.K.Nevatia Recognition of Complex Objects 1973
10600
10700 Ruzena Bajcsy (under Prof J. McCarthy)
10800 Computer Identification of Textured 1972
10900 Visual Scenes
11000
11100 T. Garvey Perceptual Problem Solving 1973
00100 VIII. CURRENT SUPPORT
00200
00300 Prof Jerome Feldman is funded by the Office of Computing Activities,
00400 National Science Foundation, and has applied for continuing support
00500 for research in grammatical inference.
00600 The research within the Artificial Intelligence Laboratory related to
00700 the subject of this proposal has been funded by the Advanced Research
00800 Projects Agency, Department of Defense, under contract SD-183.
00100 BUDGET
00200
00300
00400 Research in Robotics and Automation at the Stanford Artificial
00500 Intelligence Laboratory has been supported for several years by the
00600 Advanced Research Projects Agency of the Department of Defense. This
00700 support has supplied most of the necessary capital equipment and
00800 continues to support some of the basic work in this area. The budget
00900 requirements for succeeding projects following this initial one year
01000 proposal will depend on the nature of ARPA support in the future.
01100
01200
01300
01400 EXPLORATORY STUDY OF COMPUTER INTEGRATED ASSEMBLY SYSTEMS
01500 RESEARCH GRANT PROPOSAL BUDGET
01600 ONE YEAR BEGINNING SEPTEMBER 1, 1973
01700
01800
01900 BUDGET CATEGORY
02000 9/1/73-9/1/74
02100 A. SALARIES & WAGES:
02200
02300 1. Senior personnel:
02400
02500 a. Principal Investigator
02600 J. Feldman, Associate
02700 Professor, (2 mos. FTE) $ 3,624
02800
02900 b. Faculty Associate
03000 J. McCarthy, Professor -----
03100
03200 c. Cordell Green, Assistant Professor ----
03300
03400 2. Other Personnel:
03500
03600 a. Research Computer Scientist:
03700
03800 L. Earnest, (2 mos. FTE) $ 4,584
03900
04000 b. Research Associates:
04100
04200 T. Binford, (6 mos. FTE) $ 9,300
04300
04400 L. Paul, (6 mos. FTE) $ 8,820
04500
04600 c. Non-Fac. Professionals (others):
04700
04800 ------, Research Programmer,
04900 (12 mos. FTE) $12,000
05000
05100 V. scheinman, Design Engineer,
05200 (6 mos. FTE) $ 8,280
05300
05400
05500
05600
05700
05800
00100 d. Grad Students:
00200
00300 Student Research Assts.:
00400
00500 (3) 1/2 time Acad. Yr.,
00600 (13.5 mos. FTE) $ 9,180
00700
00800 (3) 100% Summer Qtr.,
00900 (9 mos. FTE) $ 6,750
01000
01100 e. Secretarial-Clerical:
01200
01300 (1) Secretary, (12 mos. FTE) $ 7,800
01400
01500 f. Technical:
01600
01700 (1) Electronics Tech.,
01800 (12 mos. FTE) $ 9,600
01900
02000 g. Reserve for Salary Increases
02100 @ 5% per year $ 3,997
02200 _______
02300
02400 TOTAL SALARIES & WAGES $83,935
02500
02600 B. FRINGE BENEFITS:
02700
02800 17.0% 9/1/73 to 8/31/74 $14,269
02900 _______
03000
03100 C. TOTAL SALARIES, WAGES AND
03200 FRINGE BENEFITS (A + B) $98,204
03300 D. CAPITAL EQUIPMENT: $ 6,000
03400
03500 E. EXPENDABLE SUPPLIES AND EQUIP.:
03600
03700 (e.g. Office Supplies, Xeroxing,
03800 Postage, Freight, Consulting,
03900 Honoraria) $ 3,169
04000
04100
04200 F. TRAVEL:
04300
04400 1. Domestic
04500 Local $ 600
04600 Industry Visits $3,600
04700 ______
04800 Total Travel $ 4,200
04900
05000
05100
05200
05300
00100 G. PUBLICATION COSTS: $ 400
00200
00300 I. OTHER COSTS:
00400
00500 1. Communications (Telephones) $ 1,000
00600
00700 2. Equipment Rental (Disk) $25,000
00800 ________
00900 Total Other Costs $26,000
01000 ________
01100 J. TOTAL DIRECT COSTS (A through G) $137,973
01200
01300 K. INDIRECT COSTS:
01400
01500 1. On Campus 47% of Net Total
01600 Direct Costs (H-D) $62,027
01700 _______
01800
01900 L. TOTAL COSTS (G + I) $200,000
02000 _______
02100 _______
02200
02300
02400
02500
02600
02700
02800
02900
03000
03100
03200
03300
03400
03500
03600
03700
03800
03900
04000
04100
04200
04300
04400
04500
04600
04700
04800
04900
05000
05100
05200
05300